• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
  • ورود / ثبت نام
تعداد ۲۱۱ پاسخ غیر تکراری از ۲۱۳ پاسخ تکراری در مدت زمان ۰,۲۳ ثانیه یافت شد.

181. The Imperative future :principles of executable temporal logic

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Howard Barringer ... ]et al.[

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical

رده :
QA
76
.
76
.
D47
I47
1996

182. The computer comes of age :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: R. Moreau ; translated by J. Howlett

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computers-- History,Programming languages (Electronic computers)-- History

رده :
QA76
.
17
.
M6713
1984

183. The computer comes of age: the people, the hardware, and the software

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Moreau, Rene

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: History ، Computers,History ، Programming languages )Electronic computers(

رده :
QA
76
.
17
.
M6713
1984

184. The design and analysis of computer algorithms /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.

رده :
QA76
.
6
.
A36

185. The joy of Kotlin /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Pierre-Yves Saumont.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers),Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers)

رده :
QA76
.
62

186. The (new) Turing omnibus :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: A.K. Dewdney.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.

رده :
QA76
.
D448
1993

187. The school of Niklaus Wirth : the art of simplicity

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(

رده :
QA
76
.
756
.
S3

188. Transactions on pattern languages of programming II

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: James Noble ... [et al.] (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),Software engineering,Software patterns

رده :
QA76
.
76
.
P37
T73
2011

189. Transactions on pattern languages of programming IV /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.

رده :
QA76
.
76
.
P37

190. Transitioning to Swift /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Scott Gardner

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development,Programming languages (Electronic computers)

رده :
QA76
.
76
.
A65

191. Trends in functional programming :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Meng Wang, Scott Owens.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
62

192. Turbo C++ suite.

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software.,Compilers (Computer programs),Programming languages (Electronic computers)

رده :
QA76
.
73
.
C153
T873
1998

193. Turbo Pascal

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / [computer file]

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software

رده :
QA76
,.
73
.
P21
1990

194. Turbo Pascal

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / [computer file]

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software

رده :
QA76
,.
73
.
P22
1990

195. Turbo Pascal

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / [computer file]

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software

رده :
QA76
,.
73
.
P23
1990

196. Turbo Pascal

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / [computer file]

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software

رده :
QA76
,.
73
.
P2
1990

197. Turbo Pascal

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Object-oriented programming )Computer science(- Software,، Compilers )Computer programs(- Software,، Programming languages )Electronic computers(- Software

رده :
QA
76
.
73
.
P2

198. Turbo Pascal : Library reference

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Turbo Pascal )computer file(,، Programming languages )Electronic computers( -- Software

رده :
QA
76
.
73
.
P2T86

199. Turbo Pascal. ]User's guide, Programmer's guide,Turbo vision guide[

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Object - oriented programming )Computer science( - Software,، Compilers )Computer programs( - Software,، Programming languages )Electronic computers( - Software

رده :
QA
76
.
73
.
P2
1990

200. Type systems for distributed programs :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Ornela Dardha

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)

رده :
QA76
.
76
.
V47
  • »
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال